<body>
Interfaces that define the JiveLog representation for program execution history.
</body>